From 9398d200bb0058f818a088a9ccacdab082395bb3 Mon Sep 17 00:00:00 2001 From: "kaf24@freefall.cl.cam.ac.uk" Date: Sat, 16 Oct 2004 01:39:42 +0000 Subject: [PATCH] bitkeeper revision 1.1159.113.1 (41707bdeJOc1nGZ4m2BKGia9VqochA) Sync pagetables when migrating a domain betwene CPUs. --- xen/common/dom0_ops.c | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/xen/common/dom0_ops.c b/xen/common/dom0_ops.c index 829eb1de2e..09b9d5d2d5 100644 --- a/xen/common/dom0_ops.c +++ b/xen/common/dom0_ops.c @@ -271,7 +271,8 @@ long do_dom0_op(dom0_op_t *u_dom0_op) else { domain_pause(d); - if(d->processor != cpu % smp_num_cpus) + synchronise_pagetables(~0UL); + if ( d->processor != (cpu % smp_num_cpus) ) set_bit(DF_MIGRATED, &d->flags); set_bit(DF_CPUPINNED, &d->flags); d->processor = cpu % smp_num_cpus; -- 2.30.2